top $\in$ Type